Logics for Representation of Propositions with Fuzzy Modalities
نویسنده
چکیده
In the paper we introduce logical calculi for representation of propositions with modal operators indexed by fuzzy values. There calculi are called Heyting-valued modal logics. We introduce the concept of a Heyting-valued Kripke model and consider a semantics of Heyting-valued modal logics at the class of Heyting-valued Kripke models.
منابع مشابه
T-norm-based fuzzy logics and logics for reasoning under vagueness
We contrast the concept underlying t-norm-based propositional fuzzy logics with the problem to whose solution fuzzy logics are frequently suggested as helpful – namely, to find a model of reasoning with vague information. We argue that fuzzy logics are useful as long as truth values can be identified with the meaning of the considered propositions. This, however, is rarely the case in practice;...
متن کاملModalities and many-valued: modelling uncertainty measures and similarity-based reasoning and application to Fuzzy description Logics
The talk will began remembering results on papers [22, 15, 16] where the authors model uncertainty measures as fuzzy modalities on a many-valued residuated logics. the basic idea is that uncertainty measures is not a truth degree but could be interpreted as a truth degree of the fuzzy sentence ”the probability of φ”. The main properties being that the language does not allow nested modalities a...
متن کاملA generalised model of judgment aggregation
The new eld of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Judgment aggregation has commonly been studied using classical propositional logic, with a limited expressive power and a problematic representation of conditional statements (if P then Q) as material con...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملModalities in Substructural Logics
This paper generalises Girard's results which embed intuitionistic logic into linear logic by showing how arbitrary substructural logics can be embedded into weaker substructural logics, using a single modality whichèncodes' the new structural rules. Logics 1 1. Logics Logic is about valid deduction. One central result in logic is the deduction theorem. A; ` B if and only if`A ! B This result t...
متن کامل